Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
601	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
602	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: feever.fr Language: English - Date: 2015-04-28 05:48:33 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
603	Motivation Identifying Standard Theories Extracting Proofs Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:28:46 Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic Theoretical computer science Logic
604	Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-04-02 11:57:56 Metalogic Model theory Structure Universal algebra FO Probabilistically checkable proof String Data integration Conjunctive query Mathematics Formal languages Theoretical computer science
605	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
606	A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´ Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:17:21 Symbol Mathematics Curry–Howard correspondence Logic Natural deduction Proof theory Logic in computer science Mathematical logic
607	Constant-Round Concurrent Zero-knowledge from Indistinguishability Obfuscation Kai-Min Chung∗ Huijia Lin† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-18 08:37:34 Complexity classes Cryptographic protocols Zero-knowledge proof Interactive proof system Soundness NP IP Commitment scheme P/poly Theoretical computer science Computational complexity theory Cryptography
608	Dedukti: A Universal Proof Checker Mathieu Boespflug Quentin Carbonneaux Gilles Dowek Olivier Hermant Ronan Saillard Deducteam INRIA MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-13 10:37:24 Modular forms Logic Proof theory Deduction Logic in computer science
609	Resettably-Sound Resettable Zero Knowledge Arguments for NP ? Yi Deng State Key Laboratory of Information Security,Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-02-19 03:37:24 Proof theory Applied mathematics Proof of knowledge Deduction Zero-knowledge proof Complexity classes IP Soundness NP Cryptography Mathematics Cryptographic protocols
610	Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:19 Mathematical logic Lambda calculus Normalisation by evaluation Valuation Natural deduction Curry–Howard correspondence Abstract algebra Mathematics Proof theory

UPDATE